problema de satisfacibilidad booleana - significado y definición. Qué es problema de satisfacibilidad booleana
DICLIB.COM
Herramientas lingüísticas IA
Ingrese una palabra o frase en cualquier idioma 👆
Idioma:     

Traducción y análisis de palabras por inteligencia artificial

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

  • cómo se usa la palabra
  • frecuencia de uso
  • se utiliza con más frecuencia en el habla oral o escrita
  • opciones de traducción
  • ejemplos de uso (varias frases con traducción)
  • etimología

Qué (quién) es problema de satisfacibilidad booleana - definición

Resultados encontrados: 72153
Problema de satisfacibilidad booleana         
En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (también llamado SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP-completo.
Problema de la partición         
En ciencias de la computación, el Problema de la partición es un problema NP-completo, que visto como un problema de decisión, consiste en decidir si, dado un multiconjunto de números enteros, puede este ser particionado en dos "mitades" tal que sumando los elementos de cada una, ambas den como resultado la misma suma.
Problema de Apolonio         
  • Un [[tamiz de Apolonio]] simétrico, también llamado [[empaquetado de Leibniz]], ya que su creador fue [[Gottfried Leibniz]].
  • 100px
  • 100px
  • 100px
  • 100px
  • 100px
  • 100px
  • 100px
  • 100px
  • 100px
  • 100px
  • ''r''<sub>''externo''</sub> + ''r''<sub>''interno''</sub>}} de los radios interno y externo, mientras que dos veces su distancia al centro ''d''<sub>''s''</sub> es igual a su diferencia.
  • ''r''<sub>''externo''</sub> − ''r''<sub>''interno''</sub>}} de los radios interno y externo, mientras que dos veces su distancia al centro ''d''<sub>''s''</sub> es igual a su suma.
  • El conjunto de puntos con una relación constante de distancias ''d''<sub>1</sub>/''d''<sub>2</sub> a dos puntos fijos es una circunferencia.
  • ''r''<sub>2</sub> + ''r''<sub>''s''</sub>}}, respectivamente, y por tanto su diferencia es independiente de ''r''<sub>''s''</sub>.
  • Un problema de Apolonio sin soluciones. Una circunferencia que resolviera el problema (en rosa) debería cruzar la circunferencia discontinua dada (en negro) para tocar las otras dos circunferencias (también en negro).
  • Los polos (puntos rojos) del eje radical ''R'' en las tres circunferencias dadas (en negro) se sitúan en las rectas verdes que unen los puntos de tangencia. Estas rectas se pueden construir a partir de los polos y del centro radical (en naranja).
  • Las dos rectas tangentes de los dos puntos de tangencia de una circunferencia dada intersecan al [[eje radical]] ''R'' (recta roja) de las dos circunferencias soluciones (en rosa). Los tres puntos de intersección sobre ''I'' son los polos de las rectas que unen los puntos de tangencia azules en cada circunferencia dada (en negro).
  • Una pareja de soluciones conjugadas del problema de Apolonio (circunferencias en rosa), donde las circunferencias negras son las dadas.
  • Una solución (en púrpura) del problema de Apolonio. Las circunferencias dadas se muestran en negro.
  • radio]] en relación con cada una de las [[circunferencia]]s.
  • radios]] varían en cantidades iguales. Una circunferencia solución (en rosa) se debe reducir o ampliar junto con las circunferencias que sean tangentes interiormente (la circunferencia negra de la derecha), mientras que las circunferencias tangentes exteriormente (las dos circunferencias negras de la izquierda) hacen la transformación contraria.
  • francés]] que trabajó exhaustivamente en el problema de Apolonio, desarrolló un método que precisa únicamente el uso de construcciones con [[regla y compás]].<ref name="viete_1970"/>
  • Apolonio]] para resolver el problema. Los conocimientos sobre este enigma geométrico han sido posibles gracias a la obra de este escritor.<ref name="pappus" />
CONSTRUIR CÍRCULOS QUE SEAN TANGENTES A TRES CÍRCULOS EN UN PLANO
El problema de Apolonio; Problema de apolonio
En geometría plana euclidiana, el problema de Apolonio consiste en encontrar las circunferencias tangentes a tres circunferencias dadas. Apolonio de Perge (circa 262 a.
Problema de Basilea         
  • 400x400px
PROBLEMA MATEMÁTICO
Problema de basilea
El Problema de Basilea es un famoso problema de teoría de números, planteado por primera vez por Pietro Mengoli, y resuelto por Leonhard Euler en 1735. Puesto que el problema había resistido los ataques de los matemáticos más importantes de la época, la solución llevó a Euler rápidamente a la fama cuando tenía veintiocho años.
Problema de asignación         
  • 1ZWptAK23DThtwPCBLvYdOwh dXexBlU
  • 2b
  • 3c
  • 4d
  • Captura de pantalla 2011-09-07 a las 18.45.20
  • Captura de pantalla 2011-09-07 a las 18.48.09
  • Captura de pantalla 2011-09-13 a las 00.34.39
  • Captura de pantalla 2011-09-13 a las 00.37.05
  • Captura de pantalla 2011-09-13 a las 00.37.14
  • Captura de pantalla 2011-09-13 a las 00.37.25
  • Captura de pantalla 2011-09-13 a las 00.37.26.png
  • Captura de pantalla 2011-09-13 a las 00.37.42
  • Captura de pantalla 2011-09-13 a las 00.37.54
  • Matriz costos
  • Paso1 húngaro
  • Paso2 húngaro
  • Paso3 húngaro
  • Paso4 húngaro
  • Paso5 húngaro
  • Paso6 húngaro
  • Redes
  • Selección 1
  • Tabla de transporte
  • Solución asignación
  • Tabla de asignación
  • Tablawiki1
  • Tablawiki2
  • Tablawiki3
El problema de asignación consiste en encontrar la forma de asignar ciertos recursos disponibles (máquinas o personas) para la realización de determinadas tareas al menor coste, suponiendo que cada recurso se destina a una sola tarea, y que cada tarea es ejecutada por uno solo de los recursos. Es uno de los problemas fundamentales de optimización combinatoria de la rama de optimización o investigación operativa en matemática.
Problema de Molyneux         
  • Las cirugías de [[catarata]]s han permitido que ciegos de nacimiento recuperen la vista y, de paso, contrastar experimentalmente el problema de Molyneaux, aunque sin resultados concluyentes.
El problema de Molyneux es un experimento mental planteado por el científico irlandés William Molyneux a John Locke a fines del siglo XVII, según el cual se especulan la reacción de un ciego de nacimiento que adquiere la vista a edad adulta y mira un cubo y una esfera, figuras geométricas que antes sabía reconocer y nombrar gracias al tacto. La pregunta de Molyneaux es: ¿la persona que ha adquirido la vista reconocería con la mirada lo que ya sabía reconocer con las manos?
Décimo problema de Hilbert         
CUESTIÓN MATEMÁTICA RELATIVA A LA RESOLUBILIDAD DE ECUACIONES DIOFÁNTICAS
Decimo problema de Hilbert
El décimo problema de Hilbert es uno de los conocidos como veintitrés Problemas de Hilbert, publicados en 1900 por el matemático alemán David Hilbert. Su enunciado original es:
Problema de la inducción         
  • alt=
  • alt=
  • alt=
El problema de la inducción radica en si un resultado obtenido mediante inducción está justificado epistemológicamente, es decir, si la inducción produce conocimiento.
Problema de la 3-partición         
En ciencias de la computación, el Problema de 3-partición es un problema NP-completo, que consiste en decidir si dado un multiconjunto S de n = 3m enteros positivos, puede ser particionado en m
Problema de Napoleón         
300px|right
¿Qué es Problema de satisfacibilidad booleana? - significado y definición